Integrator egs
- fnalism
gramm - gramm as fn -
rec types - type of gramm - type of g as f
1-3 - fn types (with fn) and passes types through rec alg - "
- type(arg) - " - "
- find fn - to r t: find f t,g,algs - find t of g... as f (if t of alg as f - data or alg)

given f alg, find alg
"       data      data
"       t         t
"       g         g
f as g
t of f as g
t f (this is a new alg x done with preds)